Inconsistency-tolerant reasoning with OWL DL
نویسندگان
چکیده
منابع مشابه
Inconsistency-tolerant reasoning with OWL DL
The Web Ontology Language (OWL) is a family of description logic based ontology languages for the Semantic Web and gives well defined meaning to web accessible information and services. The study of inconsistency-tolerant reasoning with description logic knowledge bases is especially important for the Semantic Web since knowledge is not always perfect within it. An important challenge is streng...
متن کاملEpistemic Reasoning in OWL 2 DL
The standard semantics employed for description logics (DLs) adheres to the open world assumption (OWA). On one hand, such an assumption facilitates a modeler to formally represent problem domains with out explicitly expressing full information, which sometimes is even not possible. This is probably one of the main reasons of founding the Web Ontology Language (OWL) based on DLs. On the other h...
متن کاملResolution-Based Approximate Reasoning for OWL DL
We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL. Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog [1, 2, 3, 4], and rests on the idea of perform...
متن کاملReasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Programming (ILP) with respect to other approaches to concept learning. We argue that ILP can not ignore the latest developments in Knowledge Engineering such as ontologies and formalisms based on Description Logics. In t...
متن کاملOptimizing Inconsistency-tolerant Description Logic Reasoning
The study of inconsistency-tolerant description logic reasoning is of growing importance for the Semantic Web since knowledge within it may not be logically consistent. The recently developed quasi-classical description logic has proved successful in handling inconsistency in description logic. To achieve a high level of performance when using tableau-based algorithms requires the incorporation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2014
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2013.09.005